y.; "有限オートマトンとPresburger算術"
http://iso.2022.jp/math/tsudoi/11/slide.pdf
Author
y.
メモ
Presburger算術の論理式を大体同値の有限オートマトンを構成する方法でPresburger算術の決定可能性を証明する